Proof of z*conjugate(z) = |z|^2